Computer Applications - PDFSEARCH.IO - Document Search Engine

Computer Applications
Results: 4069

#	Item
231	GIFT: A GEOSPATIAL IMAGE AND VIDEO FILTERING TOOL FOR COMPUTER VISION APPLICATIONS WITH GEO-TAGGED MOBILE VIDEOS Yinghao Cai, Ying Lu, Seon Ho Kim, Luciano Nocera, Cyrus Shahabi Integrated Media Systems Center University Add to Reading List Source URL: infolab.usc.edu Language: English - Date: 2016-05-21 03:15:49 Information science Internet search engines Information technology Information Alphabet Inc. Google Search Information retrieval Recommender system Tracking Minimum bounding rectangle
232	right000 Press Release Dresden, Germany, 18-Apr-2016 Add to Reading List Source URL: www.ceramic-applications.com Language: English - Date: 2016-04-04 09:42:26 Printing Computer printers Ceramic Inkjet printing Media technology Fraunhofer Society Science and technology Labeling theory Label
233	SAT Instances for Termination Analysis with AProVE? Carsten Fuhs LuFG Informatik 2, RWTH Aachen University, Germany Add to Reading List Source URL: www.dcs.bbk.ac.uk Language: English - Date: 2009-06-09 05:12:21 Theoretical computer science Logic in computer science Formal languages Hans Zantema International Conference on Rewriting Techniques and Applications Rewriting Termination analysis Divergence NP-completeness
234	Arkansas Department of Education, in conjunction with Arkansas Legislative Audit Active Directory Password Configuration and Requirements for state applications (AFEU, Child Nutrition, Cognos, Direct Certificati Add to Reading List Source URL: adedata.arkansas.gov Language: English - Date: 2016-08-03 15:10:48 Computer access control Obfuscation Prevention Password Security System administration Cryptography Identity management Password policy Password notification email
235	3 Essential Anatomy Android © Add to Reading List Source URL: applications.3d4medical.com Language: English - Date: 2014-06-12 04:46:24 Tablet computers Computer hardware Computing Classes of computers ASUS Transformer Asus ASUS MeMO Pad HD 7 Coolpad TF101 Atom Transformer Asus Zen UI
236	Please read the notes on applying for membership over leaf before Add to Reading List Source URL: ima.org.uk Language: English - Date: 2015-09-15 12:13:19 Post-nominal letters Linguistics Institute of Mathematics and its Applications Mathematics education in the United Kingdom United Kingdom Chartered Education CSCI Professional certification Science Council British Computer Society Professional qualifications in the United Kingdom
237	Introduction Compositionality: Interaction and Independence Applications and Acceptance Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-09-27 05:39:14 Process calculi Jane Hillston PEPA Laboratory for Foundations of Computer Science Markov chain Principle of compositionality Process calculus Edinburgh Philosophy Theoretical computer science
238	EEMA Brief July 2016 Issue 11 EEMA Events EEMA/Vendorcom High Level Fireside Briefing: Should consumers & businesses trust new payment applications? What do cybercriminals really fear? 27 September, 18.00 – 20.30, host Add to Reading List Source URL: www.eema.org Language: English - Date: 2016-07-11 05:29:06 Security Prevention Safety Crime prevention Cryptography Information governance National security Data security Computer security Atos International Multilateral Partnership Against Cyber Threats Information security
239	Introduction Interplay: Process Algebra and Markov Process Applications Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-09-27 05:37:50 Process calculi Jane Hillston PEPA Markov chain Laboratory for Foundations of Computer Science Process calculus Algebra Edinburgh Theoretical computer science Mathematics TAPAs model checker
240	University of Science and Technology of China A dissertation submitted for the degree of PhD Refinement Verification of Concurrent Programs and Its Applications Add to Reading List Source URL: staff.ustc.edu.cn Language: English - Date: 2015-04-24 09:43:54 Theoretical computer science Logic in computer science Formal methods Software engineering Formal verification Refinement Linearizability Correctness Operational semantics Semantics Concurrency Algorithm

UPDATE